Home Up Previous Next Random
A quotient of a set under an equivalence relation.
This is equivalent to the parts of the partition associated with the equivalence relation.